"Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann Strange Loop Conference 36:35 4 years ago 6 919 Скачать Далее
Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi NYC Haskell User's Group 1:03:09 Streamed 5 years ago 210 Скачать Далее
How to Evaluate the Performance of Gradual Type Systems Cambridge University Press 6:06 3 years ago 361 Скачать Далее
Collapsible Contracts: Fixing a Pathology of Gradual Typing ACM SIGPLAN 21:30 5 years ago 147 Скачать Далее
"Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant Strange Loop Conference 32:30 8 years ago 3 597 Скачать Далее
Asumu Takikawa - Towards Practical Gradual Typing - ECOOP 2015 ECOOP ! 30:01 9 years ago 298 Скачать Далее
Josef Svenningsson - A gradual type system - Code BEAM STO Code Sync 39:33 6 years ago 402 Скачать Далее